home *** CD-ROM | disk | FTP | other *** search
/ Java Developer's Companion / Java Developer's Companion.iso / documentation / tutorial / java / threads / example / FramedArea.java < prev    next >
Encoding:
Java Source  |  1997-07-13  |  1.7 KB  |  56 lines
  1. /*
  2.  * Copyright (c) 1995-1997 Sun Microsystems, Inc. All Rights Reserved.
  3.  *
  4.  * Permission to use, copy, modify, and distribute this software
  5.  * and its documentation for NON-COMMERCIAL purposes and without
  6.  * fee is hereby granted provided that this copyright notice
  7.  * appears in all copies. Please refer to the file "copyright.html"
  8.  * for further important copyright and licensing information.
  9.  *
  10.  * SUN MAKES NO REPRESENTATIONS OR WARRANTIES ABOUT THE SUITABILITY OF
  11.  * THE SOFTWARE, EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED
  12.  * TO THE IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR A
  13.  * PARTICULAR PURPOSE, OR NON-INFRINGEMENT. SUN SHALL NOT BE LIABLE FOR
  14.  * ANY DAMAGES SUFFERED BY LICENSEE AS A RESULT OF USING, MODIFYING OR
  15.  * DISTRIBUTING THIS SOFTWARE OR ITS DERIVATIVES.
  16.  */
  17. import java.awt.*;
  18.  
  19. class FramedArea extends Panel {
  20.     PhilosopherArea philosopherArea;
  21.  
  22.     public FramedArea(PhilAnimator controller) {
  23.         super();
  24.  
  25.         //Set layout to one that makes its contents as big as possible.
  26.         setLayout(new GridLayout(1,0));
  27.  
  28.     philosopherArea = new PhilosopherArea(controller);
  29.         add(philosopherArea);
  30.         validate();
  31.     }
  32.  
  33.     public Insets insets() {
  34.         return new Insets(4,4,5,5);
  35.     }
  36.  
  37.     public void paint(Graphics g) {
  38.         Dimension d = size();
  39.         Color bg = getBackground();
  40.  
  41.         g.setColor(bg);
  42.         g.draw3DRect(0, 0, d.width - 1, d.height - 1, true);
  43.         g.draw3DRect(3, 3, d.width - 7, d.height - 7, false);
  44.     }
  45.  
  46.     public void stopButton() {
  47.     philosopherArea.stopPhilosophers();
  48.     philosopherArea.createPhilosophersAndChopsticks();
  49.     philosopherArea.repaint();
  50.     }
  51.  
  52.     public void startButton() {
  53.     philosopherArea.startPhilosophers();
  54.     }
  55. }
  56.